free substitution

un. 自由代换